Abstract type

Results: 1261



#Item
801Theoretical computer science / Grammar / Formal languages / Logic programming / Type theory / Higher-order abstract syntax / Free variables and bound variables / Lambda calculus / Syntax / Mathematics / Logic / Software engineering

A Computational Approach to Reflective Meta-Reasoning about Languages with Bindings∗ Aleksey Nogin Alexei Kopylov Xin Yu

Add to Reading List

Source URL: authors.library.caltech.edu

Language: English - Date: 2012-12-26 09:14:14
802Matrices / Vectors / Abstract algebra / Array programming languages / MATLAB / Array programming / Matrix / Array data type / Row vector / Algebra / Mathematics / Linear algebra

14:440:127– Introduction to Computers for Engineers Notes for Lecture 02 Rutgers University, Spring[removed]

Add to Reading List

Source URL: www.blaseur.com

Language: English - Date: 2011-02-14 16:06:40
803Vectors / Abstract algebra / Econometrics / Regression analysis / Vector space / Vector / Linear regression / Matrix / Euclidean vector / Algebra / Mathematics / Linear algebra

Package ‘languageR’ July 2, 2014 Type Package Title Data sets and functions with ``Analyzing Linguistic Data: A practical introduction to statistics''. Version[removed]Date[removed]

Add to Reading List

Source URL: cran.r-project.org

Language: English - Date: 2014-07-02 12:15:53
804Algorithms / Hindley–Milner / Theoretical computer science / Type inference / String / Encoding / Mathematics / Type theory / Computing

Abstract This document contains some demonstrations of features in the xdoc package. It’s not particularly organised, though. 1

Add to Reading List

Source URL: ctan.mirrorcatalogs.com

Language: English - Date: 2004-08-22 15:59:00
805Microbiology / Gram-negative bacteria / Gut flora / Escherichia coli / Type three secretion system / Tir / Secretion / Pathogenic Escherichia coli / Cytosol / Bacteria / Biology / Enterobacteria

Japan-Mexico WS Abstract of Presentation Presentation Title: Mechanisms participating in the biogenesis of the type III secretion system of enteropathogenic Escherichia coli

Add to Reading List

Source URL: www.jst.go.jp

Language: English - Date: 2009-06-30 21:15:59
806Gram-negative bacteria / Proteobacteria / Industrial hygiene / Bacterial diseases / Legionella pneumophila / Legionella / Secretion / Legionellosis / Pathogenic bacteria / Bacteria / Biology / Microbiology

Japan-Mexico WS Abstract of Presentation Presentation Title: The Dot/Icm Type IV secretion system and effector proteins: essential players in Legionella infection.

Add to Reading List

Source URL: www.jst.go.jp

Language: English - Date: 2009-06-30 21:15:59
807ISO standards / Standard Generalized Markup Language / Notation / Technology / Document Type Definition / Charles Goldfarb / IBM Generalized Markup Language / Typesetting / Ampersand / Markup languages / Computing / Technical communication

TUGboat, Volume[removed]), No. 2 SGML -Questions and Answers Reinhard Wonneberger and Frank Mittelbach Abstract

Add to Reading List

Source URL: tug.org

Language: English - Date: 2011-10-16 20:58:05
808Vectors / Abstract algebra / Vector calculus / Operations research / Mathematical optimization / Vector space / Matrix / Euclidean vector / Vector / Algebra / Mathematics / Linear algebra

Package ‘cec2005benchmark’ July 2, 2014 Type Package Encoding latin1 Title Benchmark for the CEC 2005 Special Session on Real-Parameter Optimization Version 1.0.3

Add to Reading List

Source URL: cran.r-project.org

Language: English - Date: 2014-07-02 11:26:12
809Jozef T. Devreese / ReaxFF / Physics / Physical Review / Year of birth missing

Abstract of Presentation Homogeneous 122-type superconductors via alternative synthesis concepts Abstract : Among the iron-based superconductors, potassium-doped BaFe2As2 (BaK122) [1] is

Add to Reading List

Source URL: www.jst.go.jp

Language: English - Date: 2010-08-02 21:03:34
810Spatial data analysis / Regression analysis / Forest inventory / Basal area / Spatial analysis / Diameter at breast height / Standard deviation / Autocorrelation / Bootstrapping / Statistics / Data analysis / Geography

Influence of Tree Spatial Pattern and Sample Plot Type and Size on Inventory Estimates for Leaf Area Index, Stocking, and Tree Size Parameters John-Pascal Berrill 1 and Kevin L. O’Hara 2 Abstract

Add to Reading List

Source URL: www.fs.fed.us

Language: English - Date: 2012-04-24 19:12:04
UPDATE